大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Computer Arithmetic 15th Asilomar July 的图书(共3099本)

Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

0
索取号：
作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Next Generation Information Technologies and Systems [electronic resource] : 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings

0
索取号：
作者：Etzion、 Opher.、Kuflik、 Tsvi.、Motro、 Amihai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings

0
索取号：
作者：Beckmann、 Arnold.、Berger、 Ulrich.、L枚we、 Benedikt.、Tucker、 John V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Combinatorial Pattern Matching [electronic resource] : 17th Annual Symposium, CPM 2006, Barcelona, Spain, July 5-7, 2006. Proceedings

0
索取号：
作者：Lewenstein、 Moshe.、Valiente、 Gabriel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Information Security and Privacy [electronic resource] : 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006. Proceedings

0
索取号：
作者：Batten、 Lynn Margaret.、Safavi-Naini、 Reihaneh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 2 [electronic resource]

0
索取号：
作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Simulations in Condensed Matter Systems: From Materials to Chemical Biology Volume 1 [electronic resource]

0
索取号：
作者：Ferrario、 Mauro.、Ciccotti、 Giovanni.、Binder、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

0
索取号：
作者：Boissier、 Olivier.、Padget、 Julian.、Dignum、 Virginia.、Lindemann、 Gabriela.、Matson、 Eric.、Ossowski、 Sascha.、Sichman、 Jaime Sim茫o.、V谩zquez-Salceda、 Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Proceedings of the 15th International Meshing Roundtable [electronic resource]

0
索取号：
作者：P茅bay、 Philippe P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Shaping of Arithmetic after C. F. Gauss's Disquisitiones Arithmeticae [electronic resource]

0
索取号：
作者：Goldstein、 Catherine.、Schappacher、 Norbert.、Schwermer、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Numerical Mathematics and Advanced Applications [electronic resource] : Proceedings of ENUMATH 2005, the 6th European Conference on Numerical Mathematics and Advanced Applications Santiago de Compostela, Spain, July 2005

0
索取号：
作者：de Castro、 Alfredo Berm煤dez.、G贸mez、 Dolores.、Quintela、 Peregrina.、Salgado、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision in Human-Computer Interaction [electronic resource] : ECCV 2006 Workshop on HCI, Graz, Austria, May 13, 2006. Proceedings

0
索取号：
作者：Huang、 Thomas S.、Sebe、 Nicu.、Lew、 Michael S.、Pavlovi膰、 Vladimir.、K枚lsch、 Mathias.、Galata、 Aphrodite.、Kisa膷anin、 Branislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems [electronic resource] : 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings

0
索取号：
作者：Boavida、 Fernando.、Plagemann、 Thomas.、Stiller、 Burkhard.、Westphal、 Cedric.、Monteiro、 Edmundo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Science-Theory and Applications [electronic resource] : First International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12. 2006. Proceedings

0
索取号：
作者：Grigoriev、 Dima.、Harrison、 John.、Hirsch、 Edward A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.